perm filename MACROS[P,JRA] blob
sn#597459 filedate 1981-07-03 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .TURN ON "%","{"
C00005 00003 .comment
C00007 ENDMK
C⊗;
.TURN ON "%","{";
.<<FONT 2 "baxl30"; <<normal font>>
.<<FONT 1 "BAXi30" <<mexpr font:basi30+>>
.<<font 3 "baxb30";>>
.<<FONT 4 "NGR25"; <<for cap X used for cartesian product>>
.<<font 5 "baxi22";>>
.<<font 6 "baxl22";>>
.FONT 1 "baxl30"; <<normal font>>
.FONT 2 "BAXB30"; <<headings>>
.FONT 3 "BAXI30" <<mexpr font:basi30+>>
.FONT 4 "SUB"; <<subscripts>>
.FONT 5 "set1" <<for meta vars in denotational crap>>
.FONT 6 "NGR20"; << font for sups & subs>>
.FONT 7 "grk30"
.FONT 8 "SUP"; <<superscripts>>
.FONT 9 "SPEC[p,jra]" <<spcial chrs. sigma under S, cse under x,delta under D>>
.<< prime under prime, pi under p>>
.<< baxi30≠ under %9≠>>
.<< baxi30≥ under %9≥>>
.<< baxi30 ≡ under %9≡ >>
.<<FONT a "SET1"; <<fancy horse shit>>
.<<FONT a "bdr40"; <<chapter titles and numbers>>
.<<FONT b "math30" <<provability under r>>
.<<FONT c "FIX30"; <<for ∧ and ≡>>
.FONT c "metsb"; <<for running heads and extraneous junk>>
.<<FONT d "NONMBI"; <<for mapping identifiers>>
.<<FONT e "GERM35"; <<for true and false>>
.<<FONT e "GERM30.fnt[lsp,jra]"; <<for true and false>>
.<<FONT f "mg.fnt[lsp,jra]" <<for scottery and buggery>>
.<< composition under O>>
. << scott brackets under ( and ) >>
.<<FONT h "NGB30";>> <<for cap X used for cartesian product>>
.<<FONT g "zero30">>
.comment
.LAST USED LABEL IS P17:
.;
.SELECT 1;
.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;KRK;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;KRK;⊃
.MACRO TABIT3(X,Y,Z)⊂TURN ON "\" NOFILL TABS X,Y,Z;KRK;⊃
.MACRO CENTERIT ⊂TURN ON "←";NOFILL;KRK;⊃
.comment TENPOINT parameters are:
. 3. fill spacing in format
. 4. AND FONTS IN MACROS
. sigh, whay aren't they all together?;
.point←14 <<for 12 point fonts >>;
.macro pt2 ⊂skip 2*point mills⊃
.macro pt18 ⊂skip 6*point mills⊃
.macro pt24 ⊂skip 12*point mills⊃
.MACRO EP ⊂ONCE INDENT 6,6,6;SELECT 6;⊃
.MACRO FP ⊂ONCE INDENT 0⊃
.MACRO NL ⊂
.PT2;ONCE INDENT 0,4;FILL;
.⊃
.MACRO SBPR ⊂
.PT2;ONCE INDENT 4,8;FILL;
.⊃
.MACRO EQ ⊂PT18;ONCE CENTER⊃
.MACRO EQ1(N)⊂PT18;BEGIN TABIT1(N);NOFILL;PREFACE 6*POINT MILLS⊃
.MACRO BOXA⊂PT18⊃
.MACRO BOXB⊂PT18⊃
.macro def ⊂PT18; once indent 0,par;⊃
.MACRO LE(Z,X)⊂ONCE FLUSH LEFT; INDENT Z;
¬C X ¬*
.PT24;
.PT2;⊃
.MACRO KRK ⊂INDENT 0⊃
.at NULL ⊂IF FILLING THEN START skip spread-1;ONCE INDENT PAR;END
. ELSE SKIP spread-1⊃